翻訳と辞書 |
Donald W. Loveland : ウィキペディア英語版 | Donald W. Loveland Donald W. Loveland (born December 26, 1934 in Rochester, New York)〔Loveland, D.W.; Stickel, M.E.; ("A Hole in Goal Trees: Some Guidance from Resolution Theory" ). In Proceedings of IEEE Trans. Computers. 1976, 335-341.〕 is a professor emeritus of computer science at Duke University who specializes in artificial intelligence.〔(Duke University personal page )〕 He graduated from Oberlin College in 1956, received a Masters degree from the Massachusetts Institute of Technology in 1958 and a Ph.D. from New York University in 1964.〔(Curriculum Vitae )〕 Loveland received the Herbrand Award in 2001.〔 ==See also==
* DPLL algorithm
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Donald W. Loveland」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|